#ifndef __TIMER12_H__
#define __TIMER12_H__

#include "gd32f4xx.h"
#include "systick.h"
#include "Timer_config.h"

void Timer12_init();
void Timer12_config(uint32_t prescaler, uint32_t period);

#if USE_TIMER12_CH0
void Timer12_ch0_update(float duty);
#endif

#endif